INTERPRETING A FIELD IN ITS HEISENBERG GROUP

نویسندگان

چکیده

We improve on and generalize a 1960 result of Maltsev. For field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is copy $F$ defined $H(F)$, using existential formulas an arbitrary non-commuting pair $(u,v)$ as parameters. show interpreted computable $\Sigma_1$ no give two proofs. The first existence proof, relying Harrison-Trainor, Melnikov, R. Miller, Montalb\'an. This proof allows possibility elements are represented tuples fixed arity. second direct, giving explicit finitary define interpretation, triples $H(F)$. Looking at what was used to arrive this parameter-free interpretation general conditions sufficient eliminate parameters from interpretations.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interpreting Heisenberg Interpreting Quantum States

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states---the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one han...

متن کامل

The Heisenberg Group and Conformal Field Theory

A mathematical construction of the conformal field theory (CFT) associated to a compact torus, also called the “nonlinear σ-model” or “lattice-CFT”, is given. Underlying this approach to CFT is a unitary modular functor, the construction of which follows from a “Quantization commutes with reduction”type of theorem for unitary quantizations of the moduli spaces of holomorphic torusbundles and ac...

متن کامل

Discrete Heisenberg-Weyl Group and Modular Group

It is shown that the generators of two discrete Heisenberg-Weyl groups with irrational rotation numbers θ and −1/θ generate the whole algebra B of bounded operators on L2(R). The natural action of the modular group in B is implied. Applications to dynamical algebras appearing in lattice regularization and some duality principles are discussed. Writing a contribution to a memorial volume one alw...

متن کامل

Interpreting Effective Field Theories

An effective field theory (EFT) is a theory of the dynamics of a physical system at energies small compared to a given cut-off. Low-energy states with respect to this cut-off are effectively independent of states at high energies; hence one may study the low-energy dynamics without the need for a detailed description of the high-energy dynamics. Many authors have suggested that, because of the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Symbolic Logic

سال: 2021

ISSN: ['1943-5886', '0022-4812']

DOI: https://doi.org/10.1017/jsl.2021.107